Metric, topology and multicategory—a common approach
نویسندگان
چکیده
منابع مشابه
Metric, Topology and Multicategory – A Common Approach
For a symmetric monoidal-closed category V and a suitable monad T on the category of sets, we introduce the notion of reflexive and transitive (T,V)-algebra and show that various old and new structures are instances of such algebras. Lawvere’s presentation of a metric space as a V-category is included in our setting, via the Betti-Carboni-Street-Walters interpretation of a V-category as a monad...
متن کاملOne Setting for All: Metric, Topology, Uniformity, Approach Structure
For a complete lattice V which, as a category, is monoidal closed, and for a suitable Setmonad T we consider (T,V)-algebras and introduce (T,V)-proalgebras, in generalization of Lawvere’s presentation of metric spaces and Barr’s presentation of topological spaces. In this lax-algebraic setting, uniform spaces appear as proalgebras. Since the corresponding categories behave functorially both in ...
متن کاملMetric spaces in synthetic topology
We investigate the relationship between the synthetic approach to topology, in which every set is equipped with an intrinsic topology, and constructive theory of metric spaces. We relate the synthetic notion of compactness of Cantor space to Brouwer’s Fan Principle. We show that the intrinsic and metric topologies of complete separable metric spaces coincide if they do so for Baire space. In Ru...
متن کاملAutomated Reasoning About Metric and Topology
In this paper we compare two approaches to automated reasoning about metric and topology in the framework of the logicMT introduced in [10].MT -formulas are built from set variables p1, p2, . . . (for arbitrary subsets of a metric space) using the Booleans ∧, ∨, →, and ¬, the distance operators ∃ and ∃≤a, for a ∈ Q, and the topological interior and closure operators I and C. Intended models for...
متن کاملTopology, Metric and Dynamics of Social Systems
Structurally orientated sociologists tend to neglect the dynamical aspects of social systems, whereas theorists of social systems emphasize systems dynamics but only rarely analyze structural features of their domains. The aim of this paper is to integrate dynamical and structural approaches by means of the analysis of particular artificial systems, namely logical or Boolean networks, and their...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2003
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(02)00246-3